Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

This paper presents a preliminary analysis of the first participatory budgeting experiment in the United States, in Chicago's 49th Ward. There are two avenues of inquiry: First, does participatory budgeting result in different budgetary priorities than standard practices? Second, do projects meet normative social justice outcomes? It is clear that allowing citizens to determine municipal budget projects results in very different outcomes than standard procedures. Importantly, citizens in the 49th Ward consistently choose projects that the research literature classifies as low (...) priority. The results are mixed, however, when it comes to social justice outcomes. While there is no clear pattern in which projects are located only in affluent sections of the ward, there is evidence of geographic clustering. Select areas are awarded projects like community gardens, dog parks, and playgrounds, while others are limited to street resurfacing, sidewalk repairs, bike racks, and bike lanes. Based on our findings, we offer suggestions for future programmatic changes. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to resemble (...) the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

Se analizan los argumentos de la obra cartesiana en torno a la tesis dualista del autor. Al rechazar que el dualismo cartesiano sea un tipo de dualismo ontológico, se indaga sobre los conceptos fundamentales de la filosofía cartesiana, en la búsqueda de una caracterización más apropiada de la propuesta de Descartes. Analizando la “distinción real” entre la mente y el cuerpo, se llega a la afirmación de que el dualismo cartesiano es un dualismo de atributos que implica el dualismo sustancial, (...) teniendo en cuenta los principios metafísicos y epistemológicos del autor. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

The aim of this essay is to analyze the concept of acquaintance in the philosophy of Bertrand Russell. First, Russell’s epistemological program and works are presented in a general manner. Then, the concept of acquaintance is defined and characterized, as well as the so-called principle of acquaintance. After that, acquaintance is placed in Russell’s epistemology as the core of his theory of knowledge. Finally, I will make some critical remarks concerning the role of acquaintance in Russell’s epistemological framework.

Se analizan las principales propuestas ontológicas con respecto a la naturaleza de la experiencia humana, en el contexto de la filosofía de la mente. Por un lado, se examinan distintas formas de dualismo, tomando como criterio de definición la irreducibilidad de lo mental. Por otro lado, se exploran distintas formas de materialismo, tomando como criterio de definición la posibilidad de la reducción de lo mental, así como la posibilidad de su eliminación. Mediante este análisis, se busca esclarecer los presupuestos ontológicos, (...) implícitos y explícitos, que determinan la naturaleza de cada una de las propuestas. (shrink)

El objetivo de este ensayo es analizar la propuesta de Bergson sobre la experiencia consciente. Al revisar las obras del autor en las que se trata el tema de la experiencia consciente, se hace notable que el autor carece de precisión con respecto asus argumentos y conceptos; no obstante,las ideas que se expresan a lo largo de susescritos son dignas de un trabajo interpretativo. Se trata de una exposiciónde los elementos fundamentales parauna comprensión apropiada del puntode vista de Bergson. Este (...) recorridopermite vislumbrar el carácter de latesis dualista del autor, así como también su posición frente al problema mente-cuerpo. (shrink)

El objetivo del presente ensayo es el de examinar las características de los tipos de análisis conceptual propuestos por Jackson en From Metaphysics to Ethics y de Strawson en Análisis y Metafísica. Se quieren confrontar dos tipos de análisis conceptual: Por una parte, se pretende aclarar algunos aspectos característicos del tipo de análisis conceptual propuesto por cada autor, desde el punto de vista metodológico, y, por otra, caracterizar la naturaleza de lo que cada uno considera como conceptos básicos del análisis.

This article examines whether it is possible to uphold one form of deflationism towards metaphysics, ontological pluralism, whilst maintaining metaphysical realism. The focus therefore is on one prominent deflationist who fits the definition of an ontological pluralist, Eli Hirsch, and his self-ascription as a realist. The article argues that ontological pluralism is not amenable to the ascription of realism under some basic intuitions as to what a “realist” position is committed to. These basic intuitions include a commitment to more than (...) a stuff-ontology, and a view that realism carries with it more than a rejection of idealism. This issue is more than merely terminological. The ascription of realism is an important classification in order to understand what sorts of entities can be the truthmakers within a given theory. “Realism” is thus an important term to understand the nature of the entities that a given theory accepts into its ontology. (shrink)

We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...) presented here and of other analogous experiments, we conclude that dicator behavior can be understood in terms of moral distance rather than social distance and that it systematically deviates from the egoism assumption in economic models and game theory. (shrink)

While every health care system stakeholder would seem to be concerned with obtaining the greatest value from a given technology, there is often a disconnect in the perception of value between a technology’s promoters and those responsible for the ultimate decision as to whether or not to pay for it. Adopting an empirical ethics approach, this paper examines how five Canadian medical device manufacturers, via their websites, frame the corporate “value proposition” of their innovation and seek to respond to what (...) they consider the key expectations of their customers. Our analysis shows that the manufacturers’ framing strategies combine claims that relate to valuable socio-technical goals and features such as prevention, efficiency, sense of security, real-time feedback, ease of use and flexibility, all elements that likely resonate with a large spectrum of health care system stakeholders. The websites do not describe, however, how the innovations may impact health care delivery and tend to obfuscate the decisional trade-offs these innovations represent from a health care system perspective. Such framing strategies, we argue, tend to bolster physicians’ and patients’ expectations and provide a large set of stakeholders with powerful rhetorical tools that may influence the health policy arena. Because these strategies are difficult to counter given the paucity of evidence and its limited use in policymaking, establishing sound collective health care priorities will require solid critiques of how certain kinds of medical devices may provide a better (i.e., more valuable) response to health care needs when compared to others. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

The objectively best language is intended to refer to some metaphysically privileged language that ‘carves reality at its joints’ perfectly. That is, it is the kind of language that various ‘metaphysical deflationists’ have argued is impossible. One common line of argument amongst deflationists is that we have no means to compare languages that all express true facts about the world in such a way to decide which is ‘better’. For example, the language is physics is not objectively better than the (...) language of economics, as each language has the semantic purpose of expressing some domain of truths about the world inexpressible in the other language, and therefore neither could be ‘objectively best’. In this paper, I argue that metaphysical deflationists have failed to recognise a distinction between fine- and coarse-grained semantic purposes of languages, and that a recognition of that distinction provides us grounds to compare languages to see which is objectively best. I argue that once we recognise the distinction between fine- and coarse-grained semantic purposes, then we can see that it is relative to the coarse-grained purpose that we must compare putative objectively best ontological languages. (shrink)

Providing empirically supportable instances of ontological emergence is notoriously difficult. Typically, the literature has focused on two possible sources. The first is the mind and consciousness; the second is within physics, and more specifically certain quantum effects. In this paper, I wish to suggest that the literature has overlooked a further possible instance of emergence, taken from the special science of linguistics. In particular, I will focus on the property of truth-evaluability, taken to be a property of sentences as created (...) by the language faculty within human minds (or brains). The claim will not be as strong as to suggest that the linguistic data and theories prove emergence. Rather the dialectical aim here is to say that we have some good reasons (even if not conclusive reasons) to think that the property is emergent. (shrink)

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher scores (...) were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)